* emacs/package.texi (Package Installation): Mention package-pinned-packages.
authorGlenn Morris <rgm@gnu.org>
Tue, 3 Jun 2014 04:45:56 +0000 (21:45 -0700)
committerGlenn Morris <rgm@gnu.org>
Tue, 3 Jun 2014 04:45:56 +0000 (21:45 -0700)
commit1c3dae7f78fecf6ad6627c37d3b4aade54d598cf
tree33ab13fe12ce2fe857d1e16d3a5b6cf165cb8614
parent232eadd0bd07fc419a19a5ea0a9ecb1c09db2844
* emacs/package.texi (Package Installation): Mention package-pinned-packages.

* etc/NEWS: Related markup.
doc/emacs/ChangeLog
doc/emacs/package.texi
etc/NEWS